Combinatory logic - PDFSEARCH.IO - Document Search Engine

Combinatory logic
Results: 540

#	Item
201	Motivation Intra-procedural analysis depends upon accurate control-flow information. In the presence of certain language features (e.g. indirect calls) it is nontrivial to predict accurately how control may flow at execu Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2006-02-23 06:00:00 Mathematical logic Function Lambda calculus Control flow analysis Combinatory logic Fixed-point combinator Mathematics Data-flow analysis Theoretical computer science
202	On the characterization of models of H ∗ Flavien Breuvart ∗ PPS, UMR 7126, Univ Paris Diderot, LIPN, UMR 7030, Univ Paris Nord, Sorbonne Paris Cit´e Abstract Add to Reading List Source URL: www.pps.univ-paris-diderot.fr Language: English - Date: 2014-05-14 11:54:52 Models of computation Mathematics Lambda calculus Symbol Combinatory logic Denotational semantics Spectral theory of ordinary differential equations Curry–Howard correspondence Theoretical computer science Logic in computer science Applied mathematics
203	H:/Users/arindamp/Documents/IISc/ME-Project/thesis/thesis.dvi Add to Reading List Source URL: www.cse.iitd.ernet.in Language: English - Date: 2011-04-23 06:31:41 Combinatorial optimization Graph connectivity Cut Connectivity Graph Submodular set function Combinatory logic Degree Gomory–Hu tree Graph theory Mathematics Theoretical computer science
204	Helly’s Intersection Theorem The main topic of this chapter is a famous combinatorial theorem by E. Helly (1884–Let us start with a useful terminology. Definition 0.1. Let F be a family of subsets of a set X, Add to Reading List Source URL: users.mat.unimi.it Language: English - Date: 2010-05-07 05:19:24 General topology Spectral theory Convex analysis Combinatory logic Lambda calculus Logic in computer science Compact space Convex function Spectral theory of ordinary differential equations Topology Mathematics Mathematical analysis
205	LFMTPNominal Reasoning Techniques in Coq (Extended Abstract) Brian Aydemir Aaron Bohannon Stephanie Weirich Department of Computer and Information Science Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2014-07-10 05:49:28 Lambda calculus Theory of computation Computability theory Functions and mappings Logic in computer science Combinatory logic Function Primitive recursive function De Bruijn index Mathematics Theoretical computer science Mathematical logic
206	The Ackermann Award 2012 Thierry Coquand1 , Anuj Dawar2 , and Damian Niwiński3 1,2,3 Members of EACSL Jury of the Ackermann Award∗ Add to Reading List Source URL: drops.dagstuhl.de Language: English - Date: 2012-08-27 10:54:53 Computability theory Theory of computation Lambda calculus Logic in computer science Decision problem Combinatory logic Profinite group Computability Henk Barendregt Theoretical computer science Mathematical logic Mathematics
207	A Typed Formulation of the Semantics of Z R.D. Arthan [removed] 3rd August 2005 Abstract This document is a companion to Ian Toyn’s presentation of the semantics of Z that Add to Reading List Source URL: www.lemma-one.com Language: English - Date: 2008-07-11 10:50:31 Mathematics Formal methods Philosophical logic Quantification Free variables and bound variables Type theory Denotational semantics Combinatory logic Logic Mathematical logic Predicate logic
208	The Lambda Calculus A Brief Introduction Georg P. Loczewski A Add to Reading List Source URL: www.aplusplus.net Language: English - Date: 2004-12-20 07:35:21 Applied mathematics Combinatory logic Fixed-point combinator Expression Hindley–Milner Free variables and bound variables Lambda Binary lambda calculus Lambda-mu calculus Lambda calculus Theoretical computer science Mathematics
209	Faster Parsing by Supertagger Adaptation Jonathan K. Kummerfeld a Jessika Roesner b Tim Dawborn a a Add to Reading List Source URL: www.jkk.name Language: English - Date: 2015-04-07 13:36:10 Complexity classes Language Grammar Combinatory categorial grammar Combinatory logic Categorial grammar Syntax NP Linguistics Theoretical computer science Computational linguistics
210	Worker/wrapper for a Better Life Extended Abstract Brad Torrence Mike Stees Add to Reading List Source URL: ifl2014.github.io Language: English - Date: 2015-03-04 15:20:42 Formal methods Functional languages Functions and mappings Theoretical computer science Function Haskell Hindley–Milner Fold Combinatory logic Software engineering Computing Mathematics

UPDATE